REFTY: Refinement Types for Valid Deep Learning Models

- Gao, Yanjie, Li, Zhengxian, Lin, Haoxiang, Zhang, Hongyu, Wu, Ming, Yang, Mao

Estimating GPU memory consumption of deep learning models

- Gao, Yanjie, Liu, Yu, Zhang, Hongyu, Li, Zhengxian, Zhu, Yonghao, Lin, Haoxiang, Yang, Mao